Riemann Lebesgue lemma (proof)